good_results = [
    -0x3fe680bb, #test 0
    -0x6a95ac83, #test 1
    0x7ff24b7f, #test 2
    0x6fbadf58, #test 3
    0x6fbadf58, #test 4
    -0x522992b3, #test 5
    -0x522992b3, #test 6
    -0x522992b3, #test 7
    -0x522992b3, #test 8
    -0x522992b3, #test 9
    -0x522992b3, #test 10
    -0x522992b3, #test 11
    -0x522992b3, #test 12
    -0x522992b3, #test 13
    -0x522992b3, #test 14
    -0x522992b3, #test 15
    -0x522992b3, #test 16
    -0x522992b3, #test 17
    -0x522992b3, #test 18
    -0x522992b3, #test 19
    -0x522992b3, #test 20
    -0x522992b3, #test 21
    -0x522992b3, #test 22
    -0x522992b3, #test 23
    -0x522992b3, #test 24
    0x15d13b5f, #test 25
    0x6447cda2, #test 26
    0x5f332007, #test 27
    0x68fce145, #test 28
    -0x698843b5, #test 29
    -0x722ff65c, #test 30
    0x30c27db0, #test 31
    -0x4feec9f0, #test 32
    -0x64dcdb8f, #test 33
    -0x2556d088, #test 34
    -0x55f08401, #test 35
    0x5fe56743, #test 36
    0x59058ca2, #test 37
    0x59058ca2, #test 38
    0x75952341, #test 39
    -0x540405b7, #test 40
    0x2e3d1cf7, #test 41
    0x24f0e3ed, #test 42
    0x24f0e3ed, #test 43
    0x24f0e3ed, #test 44
    0x70fe8c4b, #test 45
    -0x3c118986, #test 46
    0xb2212c2, #test 47
    0x3d0d2139, #test 48
    0x3d0d2139, #test 49
    0x3d0d2139, #test 50
    0x3d0d2139, #test 51
    0x3fde7082, #test 52
]